A Primer on Rational Consequence Relations, Popper Functions, and Their Ranked Structures
نویسنده
چکیده
Rational consequence relations and Popper functions provide logics for reasoning under uncertainty, the former purely qualitative, the latter probabilistic. But few researchers seem to be aware of the close connection between these two logics. I’ll show that Popper functions are probabilistic versions of rational consequence relations. I’ll not assume that the reader is familiar with either logic. I present them, and explicate the relationship between them, from the ground up. I’ll also present alternative axiomatizations for each logic, showing them to depend on weaker axioms than usually recognized.
منابع مشابه
Concept Model Semantics for DL Preferential Reasoning
The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provide the foundation for the determination of the important notion of rational closure. Although they can be applied directly to a large variety of logics, these constructions suffer from the limitation that they are largely proposi...
متن کاملWhat Does a Conditional Knowledge Base Entail?
This paper presents a logical approach to nonmonotonic reasoning based on the notion of a nonmonotonic consequence relation A condi tional knowledge base consisting of a set of conditional assertions of the type if then represents the explicit defeasible knowledge an agent has about the way the world generally behaves We look for a plausible de nition of the set of all conditional assertions en...
متن کاملA Logic of Comparative Support: Qualitative Conditional Probability Relations Representable by Popper Functions
This article presents axioms for comparative conditional probability relations. The axioms presented here are more general than usual. Each comparative relation is a weak partial order on pairs of sentences (i.e. each relation is transitive and reflexive) but need not be a complete order relation. The axioms for these comparative relations are probabilistically sound for the broad class of cond...
متن کاملPTL: A Propositional Typicality Logic
We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) situations in which a formula holds. The semantics is in terms of ranked models as studied in KLM-style preferential reasoning. This allows us to show that ratio...
متن کاملComputer simulated screening of dentin bonding primer monomers through analysis of their chemical functions and their spatial 3D alignment.
Binding interactions between dentin bonding primer monomers and dentinal collagen were studied by an analysis of their chemical functions and their spatial 3D alignment. A trial set of 12 monomers used as primers in dentin adhesives was characterized to assess them for binding to a complementary target. HipHop utility in the Catalyst software from Accelrys was used for the study. Ten hypotheses...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Studia Logica
دوره 102 شماره
صفحات -
تاریخ انتشار 2014